$\forall$$i_{1}$, $i_{2}$, $j_{1}$, $j_{2}$:$\mathbb{Z}$. ($i_{1}$ = $j_{1}$) $\Rightarrow$ ($i_{2}$ = $j_{2}$) $\Rightarrow$ (($i_{1}$ $\ast$ $i_{2}$) = ($j_{1}$ $\ast$ $j_{2}$))